Frank Pfenning: cercare sul sito Z-Library

Accesso libero alla conoscenza e alla cultura.

Don't use scam websites

Libri (15)
Più popolari
Lista
- Lista
- Tabella

1

Types in Logic Programming

Types in Logic Programming

Frank Pfenning (ed.)

Anno:

1992

Lingua:

english

File:

DJVU, 3.81 MB

0 / 0

english, 1992

2

Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jonathan Hayman, Tobias Heindel (auth.), Frank Pfenning (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 4.92 MB

0 / 0

english, 2013

3

Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings

Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Charles Consel, Hedi Hamdi, Laurent Réveillère, Lenin Singaravelu, Haiyan Yu, Calton Pu (auth.), Frank Pfenning, Yannis Smaragdakis (eds.)

Anno:

2003

Lingua:

english

File:

PDF, 4.29 MB

0 / 0

english, 2003

4

Computation and deduction (lecture notes)

Computation and deduction (lecture notes)

Carnegie Mellon University

Anno:

1997

Lingua:

english

File:

PDF, 1.29 MB

0 / 0

english, 1997

5

Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.)

Anno:

1998

Lingua:

english

File:

PDF, 9.67 MB

0 / 0

english, 1998

6

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Amy Felty, Douglas Howe (auth.), Frank Pfenning (eds.)

Anno:

1994

Lingua:

english

File:

DJVU, 3.67 MB

0 / 0

english, 1994

7

Foundations of Software Science and Computation Structures, 16 conf., FOSSACS 2013

Foundations of Software Science and Computation Structures, 16 conf., FOSSACS 2013

Anno:

2013

Lingua:

english

File:

PDF, 3.83 MB

0 / 0

english, 2013

8

Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'00: Montréal, Canada, September 20-23, 2000

Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'00: Montréal, Canada, September 20-23, 2000

Anno:

2000

Lingua:

english

File:

PDF, 32.96 MB

0 / 4.5

english, 2000

9

Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.)

Anno:

1998

Lingua:

english

File:

DJVU, 7.65 MB

0 / 0

english, 1998

10

Types in Logic Programming

Types in Logic Programming

Frank Pfenning (ed.)

Anno:

1992

Lingua:

english

File:

DJVU, 8.19 MB

0 / 0

english, 1992

11

Typed Lambda Calculi and Applications: 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings

Typed Lambda Calculi and Applications: 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Frank Pfenning (auth.), Simona Ronchi Della Rocca (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 2.91 MB

0 / 0

english, 2007

12

Automated Deduction – CADE-21: 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

Automated Deduction – CADE-21: 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Frank Pfenning (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 4.55 MB

0 / 0

english, 2007

13

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Frank Pfenning (eds.)

Anno:

2006

Lingua:

english

File:

PDF, 4.02 MB

0 / 0

english, 2006

14

Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings

Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings

Anno:

2007

Lingua:

english

File:

PDF, 5.24 MB

0 / 0

english, 2007

15

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Frank Pfenning (eds.)

Anno:

2006

Lingua:

english

File:

PDF, 3.76 MB

0 / 0

english, 2006